Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
901	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
902	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.nics.utk.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
903	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: ftp.eenet.ee Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
904	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics Version16) W. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: www.icesi.edu.co Language: English - Date: 2015-05-22 05:12:46 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
905	A Financial Modeling Whitepaper Add to Reading List Source URL: www.ericsoffice.com Language: English - Date: 2011-05-11 14:47:13 Corporate finance Mathematical finance Microsoft Excel Spreadsheet Financial modeling Economic model Numbers Mathematical model Software Mathematics Mathematical sciences
906	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.cc.uoc.gr Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
907	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics VersionPatchedW. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: cran.fiocruz.br Language: English - Date: 2015-05-26 05:07:59 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
908	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.stat.auckland.ac.nz Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
909	An Introduction to R Notes on R: A Programming Environment for Data Analysis and Graphics Version16) W. N. Venables, D. M. Smith and the R Core Team Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2015-05-27 05:13:22 Array programming languages Functional languages Earth sciences graphics software R Cross-platform software MATLAB SPSS STATISTICA Mathematica Software Mathematical software Computing
910	Autumn 2008 newsletter of the Department of Mathematics at the University of Washington Mathematics Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2011-12-22 14:58:56 Sage Association for Women in Mathematics Mathematics Mathematical Sciences Research Institute Applied mathematics University of Washington Mathematician Science Mathematical software Software

UPDATE